Issue1609b.agda:3,7-7
Issue1609b.agda:3,7: The ellipsis ... cannot have a type signature
<EOF><ERROR>
...
